package org.gap.jseed.contract.annotation;

import static java.lang.annotation.ElementType.TYPE;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

@Retention(RetentionPolicy.RUNTIME)
@Target({TYPE})
public @interface Condition {
	 /**
     * The set of pre- and post-conditions to be defined on all public methods contract.  Make each condition as a separate
     * string to ensure clarity of contract violations.
     */
    String label() default "";
    
    String value();
}
